.page-root{
	color: $text-color;
}

.page-header{
  position: fixed;
  top: 0;
  left: 0;
  right: 0;
  z-index: 2;
  user-select: none;
  background-color: $background-color;
}

.page-content{
  position: fixed;
  left: 0;
  top: $menu-height + $params-height;
  right: 0;
  bottom: 0;
  z-index: 1;
  display: flex;
  background-color: $background-color;
}

.page-tools,
.page-instrument{
  flex-shrink: 0;
}

.page-main{
  flex-grow: 1;
  min-width: 0;
}